Arbitrary-precision arithmetic

Results: 133



#Item
41Functional languages / OCaml / Type system / GNU Multiple Precision Arithmetic Library / OBJ / Arbitrary-precision arithmetic / Monad / Function / Module / Software engineering / Computing / Computer programming

MLAPRONIDL: OCaml interface for APRON library Bertrand Jeannet September 11, 2009 All files distributed in the APRON library, including MLApronIDL subpackage, are distributed under LGPL license.

Add to Reading List

Source URL: apron.cri.ensmp.fr

Language: English - Date: 2009-09-11 14:11:21
42Mathematics / Computing / Mathematical proofs / Dc / cross-platform software / Double-precision floating-point format / Arbitrary-precision arithmetic / Floating point / Mathematical fallacy / Computer arithmetic / Data types / Computer architecture

Preservation of Lyapunov-Theoretic Proofs: From Real to Floating-Point Arithmetic Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France Email: {vivien.maisonneuve, olivier.hermant, francois.ir

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-03-20 04:36:28
43Computer arithmetic / Finite fields / Group theory / Binary arithmetic / Cryptography / Elliptic curve cryptography / Arbitrary-precision arithmetic / Modular arithmetic / XTR / Abstract algebra / Mathematics / Arithmetic

Efficient Java Implementation of Elliptic Curve Cryptography for J2ME-Enabled Mobile Devices Johann Großsch¨adl1 , Dan Page2 , and Stefan Tillich2 1 University of Luxembourg, CSC Research Unit, LACS,

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2012-08-28 16:24:04
44Arbitrary-precision arithmetic / Floating point / Modular exponentiation / NaN / Rounding / Integer / Natural logarithm / Binomial coefficient / Methods of computing square roots / Mathematics / Computer arithmetic / Square root

Perl versiondocumentation - Math::BigFloat NAME Math::BigFloat - Arbitrary size floating point math package SYNOPSIS

Add to Reading List

Source URL: perldoc.perl.org

Language: English - Date: 2014-10-03 15:56:50
45Elementary mathematics / Logarithms / Arbitrary-precision arithmetic / Floating point / Bc programming language / Number / Square root / Function / Fraction / Mathematics / Computer arithmetic / Data types

apfloat A C++ High Performance Arbitrary Precision Arithmetic Package Version 2.32 April 17th, 2001

Add to Reading List

Source URL: www.apfloat.org

Language: English - Date: 2001-05-30 14:23:48
46Functional languages / OCaml / Camlp4 / Caml / Ocsigen / Arbitrary-precision arithmetic / Sage / Maple / Symbolic computation / Software / Computing / Mathematical software

Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz

Add to Reading List

Source URL: ddmf.msr-inria.inria.fr

Language: English - Date: 2011-06-30 10:10:16
47Numerical analysis / Floating point / Algorithm / Arbitrary-precision arithmetic / Computer science / Computer arithmetic / Applied mathematics / Mathematics

Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2009-07-27 23:31:09
48Computer architecture / Floating point / Arbitrary-precision arithmetic / Machine epsilon / Approximations of π / Algorithm / Cell / Numerical analysis / Bc programming language / Computer arithmetic / Mathematics / Computing

Core Library Tutorial Chen Li, Chee Yap, Sylvain Pion, Zilin Du and Vikram Sharma Department of Computer Science Courant Institute of Mathematical Sciences New York University New York, NY 10012, USA

Add to Reading List

Source URL: cs.nyu.edu

Language: English - Date: 2004-11-13 12:03:48
49Computer arithmetic / Polynomial / Arbitrary-precision arithmetic / Integral transform / MATLAB / Differential equation / Square root / Floating point / Vector space / Mathematics / Algebra / Mathematical analysis

Jasymca[removed]Symbolic Calculator for Java Helmut Dersch March 15, 2009 Abstract Jasymca is an interactive System for solving math problems. It supports arbitrary precision numbers and symbolic variables. Scalars, vector

Add to Reading List

Source URL: webuser.hs-furtwangen.de

Language: English - Date: 2009-03-15 14:17:19
50Numerical analysis / Floating point / Algorithm / Arbitrary-precision arithmetic / Computer science / Computer arithmetic / Applied mathematics / Mathematics

Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2009-07-27 23:31:09
UPDATE